/*
* @file    : Reset.h
* @author  : Larissa
* @brief   : xxx module Header file
*/
#ifndef DRIVERS_RESET_RESET_H_
#define DRIVERS_RESET_RESET_H_

#include "S32K144.h"
#include <stdint.h>

uint32_t Reset_GetVersionId();
uint32_t Reset_GetResetStatus();
uint32_t Reset_GetStickySystemResetStatus();

#endif /* DRIVERS_RESET_RESET_H_ */
